Kikuchi M., "Kolmogorov Complexity and the Second Incompleteness Theorem" - Internet Explorer 2.0

Kikuchi M., "Kolmogorov Complexity and the Second Incompleteness Theorem"

https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0912-3.pdf